home *** CD-ROM | disk | FTP | other *** search
/ Universität Tübingen - 1997/1998 Winter / Universität Tübingen - Wintersemester 1997-98 - Uni-Informationssystem und Stadt-Informationssystem.iso / j03 / ge / dbjis / g / slide5.gif < prev    next >
Graphics Interchange Format  |  1997-08-14  |  14.9 KB  |  635x450  |  8-bit (141 colors)
   ocr: Gerblinger Kechsinformatik " Datenbanken & jur. Intormationssysteme Beispiel: Deklarative Progr. in Prolog bruder(X,A):- mutter(marg: arete, - manfred). vater(Y,X), muller(margarete.Ingnd, vater(Y,A), mutter(margarete, dieter). mutter(B,X), mutter(B,A), vater(rup ert, manfred). ma ann(X), vater(rup ert, ingrid). diff(X,A). vater(rup ert, dieter). schwester(X,A): ma ann(rupert). vater(Y,X), m ann(manfred). vater(Y,A), mann(dieter). mutter(B,X), mutter(B,A), trau(margarete) frau(X), frau(ingnid). diff(X,A). diffX,):-XFY.